Control flow analysis - PDFSEARCH.IO - Document Search Engine

Control flow analysis
Results: 217

#	Item
1	Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Software engineering Subroutines Computing Computer programming Programming paradigms Callback Network flow problem Event Data-flow analysis Control flow analysis Flow network Control flow graph
2	Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 4, 477–Analytical solution of MHD free convective flow of couple stress fluid in an annulus with Hall and Ion-slip effects Add to Reading List Source URL: www.lana.lt Language: English - Date: 2011-12-07 11:38:36
3	Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 2, 155–158 A note on “Taylor–Couette flow of a generalized second grade fluid due to a constant couple” C. Fetecau1 , A.U. Awan2 , M. Athar2 1 Add to Reading List Source URL: www.lana.lt Language: English - Date: 2010-06-01 14:39:37
4	Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 3, 341–350 A semi-analytical solution of micro polar flow in a porous channel with mass injection by using differential transform method M.M. Rashidi1 , S. Add to Reading List Source URL: www.lana.lt Language: English - Date: 2010-09-17 07:34:24
5	Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12
6	Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 1, 17–On hydromagnetic flow due to a rotating disk with radiation effects Add to Reading List Source URL: www.lana.lt Language: English - Date: 2011-02-25 07:33:49
7	Type- and Control-Flow Analysis Matthew Fluet Department of Computer Science Rochester Institute of Technolgy Add to Reading List Source URL: proglang.informatik.uni-freiburg.de Language: English - Date: 2018-04-15 13:19:09
8	Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 3, 287–298 Effects of pressure work on natural convection flow around a sphere with radiation heat loss T. Akhter1 , M.A. Alim2 1 Add to Reading List Source URL: www.lana.lt Language: English - Date: 2010-09-17 07:32:18
9	Control-Flow Analysis with SAT Solvers Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA Abstract. Control-flow analyses statically determine the control-flow of programs. This is a nontrivial prob Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Lambda calculus Software engineering Declarative programming Theoretical computer science Church encoding Continuation-passing style Lambda Boolean satisfiability problem Anonymous function Control flow analysis Deductive lambda calculus

UPDATE